Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
841	Building Better Nurse Scheduling Algorithms Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-03-20 07:15:37 Operations research Mathematical optimization Computational complexity theory Algorithm Mathematical logic Genetic algorithm Linear programming Time complexity Local search Theoretical computer science Applied mathematics Mathematics
842	Functional Reactive Types Alan Jeffrey Alcatel-Lucent Bell Labs Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2014-03-31 14:30:31 Logic Linguistics Philosophy Linear temporal logic Temporal logic Interpretation
843	J. Korean Math. Soc[removed]), No. 6, pp. 1313–1327 SPLIT QUATERNIONS AND ROTATIONS IN SEMI Add to Reading List Source URL: www.mathnet.or.kr Language: English - Date: 2008-01-02 02:51:17 Special relativity Algebra Split-quaternion Symbol Linear temporal logic Quaternions Abstract algebra Geometry
844	246 BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:19:16 Linear algebra Functions and mappings Functional analysis Mathematical analysis Banach space Vector space Hilbert space Mathematical logic Stone–Weierstrass theorem Mathematics Algebra Topology
845	Inclusion Logic and Fixed Point Logic Pietro Galliani1 and Lauri Hella2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Model theory First-order logic FO Function Constructible universe Structure Symbol Dependence logic Linear temporal logic Mathematics Mathematical logic Logic
846	Economics 204 Summer/Fall 2011 Lecture 7–Tuesday August 2, 2011 Section 2.9. Connected Sets Add to Reading List Source URL: elsa.berkeley.edu Language: English - Date: 2011-08-02 16:06:18 Mathematical optimization Hemicontinuity Continuous function Function Semi-continuity Limit Entailment Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Logic
847	Quantum Field Theory I Chapter 10 Add to Reading List Source URL: www.itp.phys.ethz.ch Language: English - Date: 2013-02-28 05:45:04 S-matrix LSZ reduction formula Propagator Hamiltonian Hilbert space Μ operator Feynman diagram Spectral theory of ordinary differential equations Linear temporal logic Physics Quantum mechanics Quantum field theory
848	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
849	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
850	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics

UPDATE